منابع مشابه
Optimizing database-backed applications with query synthesis Citation
Object-relational mapping libraries are a popular way for applications to interact with databases because they provide transparent access to the database using the same language as the application. Unfortunately, using such frameworks often leads to poor performance, as modularity concerns encourage developers to implement relational operations in application code. Such application code does no...
متن کاملsingle-step synthesis of multi-component spirobarbiturates using ionic liquids and synthesis of substituted pyridine filled with catalysts supported on solid substrate
in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...
15 صفحه اولOptimizing cyanobacterial product synthesis: Meeting the challenges
The synthesis of renewable bioproducts using photosynthetic microorganisms holds great promise. Sustainable industrial applications, however, are still scarce and the true limits of phototrophic production remain unknown. One of the limitations of further progress is our insufficient understanding of the quantitative changes in photoautotrophic metabolism that occur during growth in dynamic env...
متن کاملOptimizing Solution Quality in Synchronization Synthesis
Given a multithreaded program written assuming a friendly, nonpreemptive scheduler, the goal of synchronization synthesis is to automatically insert synchronization primitives to ensure that the modified program behaves correctly, even with a preemptive scheduler. In this work, we focus on the quality of the synthesized solution: we aim to infer synchronization placements that not only ensure c...
متن کاملCost-optimizing compositions of services – analysis and synthesis
A complex service is a stateful implementation of a complex task, involving interaction with partner services via a well-defined interface. In this setting, several analysis and verification problems arise, such as discovery, substitutability, configuration, and adaptation. Partner synthesis is a solution strategy for these problems. Here, the task is to construct an optimal partner for a given...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2914770.2837666